Assumptions: binary products, self-dual
Conclusions: binary coproducts
Reason: This holds by self-duality.